Danny Amor's Online Library

home *** CD-ROM | disk | FTP | other *** search

/ Danny Amor's Online Library / Danny Amor's Online Library - Volume 1.iso / html / faqs / faq / free-compilers / part3 < prev next >

Wrap

Text File | 1995-07-25 | 64.3 KB | 1,789 lines

Subject: Catalog of compilers, interpreters, and other language tools [p3of5] Newsgroups: comp.compilers,comp.lang.misc,comp.archives.admin,news.answers,comp.answers From: free-compilers@idiom.berkeley.ca.us (David Muir Sharnoff) Date: Thu, 17 Nov 1994 01:16:48 GMT Archive-name: free-compilers/part3 Last-modified: $version_D Version: $version_V lisp family ------------------------------------------------------------------------------- category: lisp family description: [The programming languages for those who like parenthesis --ed] language: Dylan package: Thomas version: 1.1 parts: translator(Scheme) author: Matt Birkholz <Birkholz@crl.dec.com>, Jim Miller <JMiller@crl.dec.com>, Ron Weiss <RWeiss@crl.dec.com> location: ftp pub/DEC/Thomas from gatekeeper.pa.dec.com ftp pub/dylan/Thomas from cambridge.apple.com description: Thomas, a compiler written at Digital Equipment Corporation's Cambridge Research Laboratory compiles a language compatible with the language described in the book "Dylan(TM) an object-oriented dynamic language" by Apple Computer Eastern Research and Technology, April 1992. It does not perform well. Thomas is NOT Dylan(TM). requires: Scheme ports: MIT's CScheme, DEC's Scheme->C, Marc Feeley's Gambit, Mac, PC, Vax, MIPS, Alpha, 680x0 updated: 1994/04/18 language: Dylan package: Marlais version: 0.4 parts: interpreter author: Brent Benson <brent@ssd.csd.harris.com> location: ftp /pub/Marlais/* from ftp.cis.ufl.edu ftp pub/dylan/Marlais/* from cambridge.apple.com description: Marlais is a simple-minded interpreter for a programming language strongly resembling Dylan [1]. It is not intended as a final release, but rather to fill a perceived void where Dylan implementations are concerned. This is a "hackers release" and is intended as a vehicle for education, experimentation and also to encourage people to port it to different architectures, add features, and fix bugs. Marlais is alpha software and should not be used by people desiring reliability!!! ports: Sun-3, Sun-4, VAX/BSD, OS/2, Linux, Sequent Symmetry, Encore, HP-UX, Ultrix, SGI, Sony News, A/UX updated: 1994/07/13 language: Dylan package: Mindy version: 1.0 parts: byte-code compiler and interpreter, documentation, libraries author: Bill Chiles <chiles@CS.CMU.EDU> location: public WWW page: http://legend.gwydion.cs.cmu.edu:8001/gwydion/ FTP: legend.gwydion.cs.cmu.edu in /afs/cs.cmu.edu/project/gwydion/release/mindy.tar.gz description: A partial implementation of Dylan developed by the Gwydion Project at CMU for internal purposed pending the further development of a full implementation of Dylan. It is being released in the public domain as a vehicle for introducing the language to new users. requires: Gcc, Gmake, Flex, Bison ports: MACH on DECstation, HP-UX on HP 700, OSF1 on Alpha, Irix on SGI updated: 1994/06/30 language: EuLisp package: Feel (Free and Eventually Eulisp) version: 0.75 parts: interpreter, documentation author: Pete Broadbery <pab@maths.bath.ac.uk> location: ftp pub/eulisp from ftp.bath.ac.uk description: + integrated object system + a module system + parallelism + interfaces to PVM library, tcp/ip sockets, futures, Linda, and CSP. ports: most unix portability: high, but can use shared memory and threads if available updated: 1992/09/14 language: Common Lisp package: CMU Common Lisp version: 17c parts: incremental compiler, profiler, runtime, documentation, editor, debugger author: ? location: ftp pub/* from lisp-sun1.slisp.cs.cmu.edu. description: CMU Common Lisp is public domain "industrial strength" Common Lisp programming environment. Many of the X3j13 changes have been incorporated into CMU CL. Wherever possible, this has been done so as to transparently allow use of either CLtL1 or proposed ANSI CL. Probably the new features most interesting to users are SETF functions, LOOP and the WITH-COMPILATION-UNIT macro. + The new CMU CL compiler (Python) is more sophisticated thatn other Common Lisp compilers. It produces better code and is easier to use. + The programming environment based on the Hemlock editor is better integrated than gnu-emacs based environments. conformance: mostly X3J13 compatible. ports: Sparc/Mach Sparc/SunOS Mips/Mach IBMRT/Mach contact: slisp@cs.cmu.edu updated: 1993/11/18 language: Common Lisp package: PCL (Portable Common Loops) version: 8/28/92 PCL parts: library author: ? Richard Harris <rharris@ptolemy2.rdrc.rpi.edu> ? location: ftp pcl/* from parcftp.xerox.com description: A portable CLOS implementation. CLOS is the object oriented programming standard for Common Lisp. Based on Symbolics FLAVORS and Xerox LOOPS, among others. Loops stands for Lisp Object Oriented Programming System. ports: Lucid CL 4.0.1, CMUCL 16e, ? status: ? updated: 1992/09/02 language: Common Lisp package: WCL version: 2.14 parts: ?, shared library runtime, source debugger author: Wade Hennessey <wade@leland.Stanford.EDU> location: ftp pub/wcl/* from sunrise.stanford.edu, miscellany/wcl from gummo.stanford.edu description: A common lisp implementation as a shared library. WCL Is not a 100% complete Common Lisp, but it does have the full development environment including dynamic file loading and debugging. A modified version of GDB provides mixed-language debugging. A paper describing WCL was published in the proceedings of the 1992 Lisp and Functional Programming Conference. requires: GNU C 2.1 (not 2.2.2) ports: Sparc/SunOS discussion: <wcl-request@sunrise.stanford.edu> contact: <wcl@sunrise.stanford.edu> updated: 1992/10/28 language: Common Lisp package: KCL (Kyoto Common Lisp) version: ? parts: compiler(->C), interpreter author: T. Yuasa <yuasa@tutics.tut.ac.jp>, M. Hagiya <hagiya@is.s.u-tokyo.ac.jp> location: ? ftp pub/kcl*.tar.Z from rascal.ics.utexas.edu ? description: KCL, Kyoto Common Lisp, is an implementation of Lisp, It is written in the language C to run under Un*x-like operating systems. KCL is very C-oriented; for example, the compilation of Lisp functions in KCL involves a subsidiary C compilation. conformance: conforms to the book ``Common Lisp: The Language,'' G. Steele, et al., Digital Press, 1984. bugs: kcl@cli.com restriction: must sign license agreement discussion: kcl-request@cli.com updated: 1987/06 language: Common Lisp package: AKCL (Austin Kyoto Common Lisp) version: 1-615 parts: improvements author: Bill Schelter <wfs@cli.com>, <wfs@rascal.ics.utexas.edu> location: ftp pub/akcl-*.tar.Z from rascal.ics.utexas.edu description: AKCL is a collection of ports, bug fixes, and performance improvements to KCL. ports: Decstation3100, HP9000/300, i386/sysV, IBM-PS2/aix, IBM-RT/aix SGI Sun-3/Sunos[34].* Sun-4 Sequent-Symmetry IBM370/aix, VAX/bsd VAX/ultrix NeXT updated: 1992/04/29 language: Common Lisp package: CLX version: 5.01 parts: library author: ? location: ftp contrib/CLX.R5.01.tar.Z from export.lcs.mit.edu description: Common Lisp binding for X bugs: bug-clx@expo.lcs.mit.edu ports: ?, CMU Common Lisp contact: ? updated: 1992/08/26 language: Common Lisp package: CLISP version: 1994/07/12 parts: interpreter, bytecode compiler, runtime library, editor author: Bruno Haible <haible@ma2s2.mathematik.uni-karlsruhe.de>, Michael Stoll <michael@rhein.iam.uni-bonn.de> location: ftp /pub/lisp/clisp from ma2s2.mathematik.uni-karlsruhe.de /pub/Linux/development/lisp/ from sunsite.unc.edu /pub/linux/packages/lisp/ from tsx-11.mit.edu description: CLISP is a Common Lisp (CLtL1) implementation by Bruno Haible of Karlsruhe University and Michael Stoll of Munich University, both in Germany. It needs only 1.5 MB of RAM. German and English versions are available, French coming soon. Packages running in CLISP include PCL and, on Unix machines, CLX. A native subset of CLOS is included. conformance: CLtL1 + parts of CLtL2 restriction: GNU General Public License ports: Atari, Amiga, MS-DOS, OS/2, Linux, Sun4, Sun386i, HP90000/800 and others discussion: send "subscribe clisp-list" to listserv@ma2s2.mathematik.uni-karlsruhe.de contact: Bruno Haible <haible@ma2s2.mathematik.uni-karlsruhe.de> updated: 1994/07/12 language: Common Lisp package: Cartier's Contribs version: 1.2 parts: libraries, documentation author: Guillaume Cartier <cartier@math.uqam.ca> location: ftp pub/mcl2/contrib/Cartiers* from cambridge.apple.com description: libraries for MCL requires: Macintosh Common Lisp discussion: comp.lang.lisp.mcl updated: 1994/04/18 language: Common Lisp package: QT-OBJECTS version: ? parts: library author: Michael Travers <mt@media.mit.edu> and others location: ? description: interface between MCL and QuickTime requires: Macintosh Common Lisp discussion: comp.lang.lisp.mcl updated: 1994/04/18 language: Common Lisp package: Memoization ? version: ? parts: library author: Marty Hall <hall@aplcenmp.apl.jhu.edu> location: ftp pub/Memoization from archive.cs.umbc.edu description: Automatic memoization is a technique by which an existing function can be transformed into one that "remembers" previous arguments and their associated results updated: 1992/11/30 language: Common Lisp package: GINA (Generic Interactive Application) version: 2.2 parts: language binding, class library, interface builder author: ? location: ftp /gmd/gina from ftp.gmd.de N.America: ftp contrib/? from export.lcs.mit.edu description: GINA is an application framework based on Common Lisp and OSF/Motif to simplify the construction of graphical interactive applications. It consists of: + CLM, a language binding for OSF/Motif in Common Lisp. + the GINA application framework, a class library in CLOS + the GINA interface builder, an interactive tool implemented with GINA to design Motif windows. requires: OSF/Motif 1.1 or better. Common Lisp with CLX, CLOS, PCL and processes. ports: Franz Allegro, Lucid, CMU CL and Symbolics Genera discussion: gina-users-request@gmd.de updated: ? language: Common Lisp package: CLiCC version: 0.6.4 parts: compiler(->C), runtime library author: Heinz Knutzen <hk@informatik.uni-kiel.de>, Ulrich Hoffman <uho@informatik.uni-kiel.de>, Wolfgang Goerigk <wg@informatik.uni-kiel.de> location: ftp pub/kiel/apply/clicc* from ftp.informatik.uni-kiel.de (134.245.15.114) description: A Common Lisp to C compiler, meant to be used as a supplement to existing CLISP systems for generating portable applications. Target C code must be linked with CLiCC runtime library to produce executable. conformance: Subset of Common Lisp + CLOS (named: CL_0, or CommonLisp_0) CL_0 based on CLtL1. restriction: Freely distributable and modifiable ports: Runs in Lucid Lisp, AKCL, CLISP, ... status: Working towards CLtL2 and ANSI-CL conformance. updated: 1994/06/25 language: Common Lisp package: Hyperlisp version: 2.1f parts: ? author: Joe Chung, MIT Media Laboratory location: ftp pub/mcl2/contrib/hyperlisp21f.sit.hqx from cambridge.apple.com description: Hyperlisp is a real-time MIDI programming environment embedded in Macintosh Common Lisp. The environment was developed specifically for the Hyperinstruments project at the MIT Media Laboratory, and is optimized for interactive systems which require fast response times. Hyperlisp provides two main services for the music programmer: routines for MIDI processing and primitives for scheduling the application of functions. Programs written in Macintosh Common Lisp can use these services for a wide variety of real-time MIDI applications. updated: 1994/04/18 language: Franz Lisp package: Liszt? version: ? parts: compiler(->C) author: port to C by J W Dalton <jeff@festival.ed.ac.uk> location: ask author description: A version of Liszt that emits C updated: ? language: Lisp package: RefLisp version: 2.67 parts: interpreter, documentation, examples, profiler author: Bill Birch <bbirch@hemel.bull.co.uk> location: ftp implementations/reflisp/* from the directory /afs/cs.cmu.edu/user/mkant/Public/Lisp on ftp.cs.cmu.edu description: The interpreter is a shallow-binding (i.e., everything has dynamic scope), reference counting design making it suitable for experimenting with real-time and graphic user interface programming. Common Lisp compatibility macros are provided, and most of the examples in "Lisp" by Winston & Horn have been run on RefLisp. RefLisp makes no distinction between symbol-values and function-values, so a symbol can be either but not both. There are Lisp modules for lexical scope and for running indefinite extent Scheme programs. ports: MSDOS (CGA/EGA/VGA), Unix (AIX) status: "Last Update for a While," author is emigrating to Australia updated: 1993/02/09 language: Lisp package: xlisp version: 2.1 parts: interpreter author: David Micheal Betz <dbetz@apple.com> location: ftp pub/xlisp* from wasp.eng.ufl.edu US Mail: contact Tom Almy <toma@sail.labs.tek.com> Windows: ftp software/prog_lang/xlisp/xlisppc* from ftp.cs.orst.edu Version2.0: ftp pub/xlisp/* from cs.orst.edu Macintosh: ftp pub/bskendig/? from netcom.com (source comming) description: XLISP is an experimental programming language combining some of the features of Common Lisp with an object-oriented extension capability. It was implemented to allow experimentation with object-oriented programming on small computers. conformance: subset of Common Lisp with additions of Class and Object restriction: ? no commercial use ? ports: unix, amiga, atari, mac, MSDOS portability: very high: just needs a C compiler discussion: comp.lang.lisp.x updated: 1992/05/26 (unix), 1987/12/16 (other platforms) language: Lisp package: "LISP, Objects, and Symbolic Programming" version: ? parts: book with compiler included author: Robert R. Kessler and Amy R. Petajan, published by Scott, Foresman and Company, Glenview, IL location: bookstore... description: ? (A short synopsis might help if anyone has one) updated: 1988 language: Lisp package: franz lisp version: ? parts: ? author: ? location: [does anyone know where you get franz lisp??? --ed] description: ? discussion: franz-friends-request@berkeley.edu updated: ? language: Lisp (WOOL - Window Object Oriented Language) package: GWM (Generic Window Manager) version: ? parts: interpreter, examples author: ? location: ftp contrib/gwm/* from export.lcs.mit.edu France: ftp pub/gwm/* from avahi.inria.fr description: Gwm is an extensible window manager for X11. It is based on a WOOL kernel, and interpreted dialect of lisp with specific winow management primitives. discussion: gwm-talk@??? contact: ? updated: ? language: elisp (Emacs Lisp) package: ILISP version: 5.0 parts: Emacs interface author: ?? Ivan Vazquez <ivan@haldane.bu.edu> location: ftp to haldane.bu.edu (128.197.54.25) in pub/ilisp/ilisp.tar.Z description: ILISP provides a somewhat lisp-machine like interface to lisp listeners from Emacs. bugs: ilisp-bug@darwin.bu.edu (or ilisp-bugs@darwin.bu.edu). discussion: ilisp@darwin.bu.edu support: Mailing list requests/deletions to ilisp-request@darwin.bu.edu updated: 1993/06/28 language: elisp (Emacs Lisp) package: GNU Emacs version: 19.28 parts: editor, interpreter, documentation, source debugger author: Richard Stallman <rms@gnu.ai.mit.edu> and others location: pub/gnu/emacs-19.25.tar.gz from any GNU site. description: An editor that is almost an operating system. Quite programmable. And it even fits in your tackle box. bugs: gnu.emacs.bug, e-mail to bug-gnu-emacs@prep.ai.mit.edu ports: Unix, VMS, ? discussion: alt.religion.emacs, gnu.emacs.sources help: gnu.emacs.help announcements: gnu.emacs.announce updated: 1994/11/01 language: elisp (Emacs Lisp) package: Lucid Emacs (lemacs) version: 19.10 parts: ? interpreter author: kyle@crystal.wonderworks.com location: /pub/lemacs/* from LUCID.COM (192.43.175.3). description: A version of Emacs based on Emacs 19. Mirrored at other sites including: /pub/epoch-files/lemacs/ from cs.uiuc.edu /pub/lemacs-19.10/ from self.stanford.edu bugs: alt.lucid-emacs.bug, bug-lucid-emacs@lucid.com discussion: alt.lucid-emacs.help, help-lucid-emacs@lucid.com updated: 1994/06/01 language: ? Lisp, X package: winterp version: 2.03 parts: interpreter, documentation, examples author: Niels P. Mayer <mayer@eit.com> or <mayer@netcom.com> location: ftp.x.org in contrib/devel_tools/winterp-2.*.tar.gz description: An object-oriented rapid prototyping, development and delivery environment for building extensible applications with the OSF/Motif UI Toolkit and Xtango-based graphics/animation. ports: UNIX discussion: comp.lang.lisp.x. announcements: winterp@netcom.com updated: 1994/06/24 language: Lisp iref: (Lisp) Tim Budd's C++ implementation of Kamin's interpreters language: LISP, awk package: A Lisp interpreter in awk version: ? parts: Interpreter, library, reference, example (ELIZA, tail-recursive Scheme interpreter (with library and examples)) author: Darius Bacon <djello@well.sf.ca.us> location: alt.sources (May 31, 1994) description: A relatively simple interpreter (no garbage collection or tail recursion) implemented in AWK. Variables have dynamic scope, but with a single namespace. Scheme names used for primitives and special forms. updated: 1994/05/31 language: lisp package: walk version: ? parts: interpreter, nroff document author: Roger Rohrbach location: alt.sources (May 31, 1994) description: A Lisp interpreter written in old awk. reference: McCarthy, J. Recursive Functions of Symbolic Expressions and their Computation by Machine, Part I. Comm. ACM, 3, 4, pp. 185-195 April 1960 Aho, A., Weinberger, P., & Kernighan, B.W. The Awk Programming Language. Addison-Wesley, Reading, MA 1988 updated: 1989/01/03 language: Oaklisp package: oaklisp version: 1.2 parts: interface, bytecode compiler, runtime system, documentation author: Barak Pearlmutter, Kevin Lang location: ftp /afs/cs.cmu.edu/user/bap/oak/ftpable/* from f.gp.cs.cmu.edu description: Oaklisp is a Scheme where everything is an object. It provides multiple inheritence, a strong error system, setters and locators for operations, and a facility for dynamic binding. status: actively developed? contact: Pearlmutter-Barak@CS.Yale.Edu ? updated: 1992/05 ? language: Logo package: logo version: 4 parts: interpreter author: ? location: comp.sources.unix archive volume 10 description: ? updated: ? language: Logo package: Berkeley Logo version: 3.0 parts: interpreter author: Brian Harvey <bh@anarres.CS.Berkeley.EDU> location: ftp pub/ucblogo/* from anarres.cs.berkeley.edu description: + Logo programs are compatible among Unix, PC, and Mac. + "richer" than MswLogo? - pretty slow. - doesn't do anything fancy about graphics. (One turtle.) ports: unix, pc, mac updated: 1993/08/06 language: Logo package: MswLogo version: 3.5 parts: interpreter author: George Mills <mills@athena.lkg.dec.com> location: ftp pub/comp.lang.logo/programs/mswlogo from cher.media.mit.edu Source may require emailing George Mills. description: A windows front-end for Berkeley Logo bugs: George Mills <mills@athena.lkg.dec.com> ports: MS Windows 3.x status: activly developed updated: 1993/10/15 language: Scheme package: Schematik version: 1.1.5.2 parts: programming environment author: Chris Kane, Max Hailperin <max@nic.gac.edu> location: ftp /pub/next/scheme/* from ftp.gac.edu Europe: ftp /pub/next/ProgLang from ftp.informatik.uni-muenchen.de description: Schematik is a NeXT front-end to MIT Scheme for the NeXT. It provides syntax-knowledgeable text editing, graphics windows, and user-interface to an underlying MIT Scheme process. It comes packaged with MIT Scheme 7.1.3 ready to install on the NeXT. ports: NeXT, MIT Scheme 7.1.3 portability: requires NeXTSTEP contact: schematik@gac.edu updated: 1993/03/11 language: Scheme package: T version: 3.1 parts: compiler (native machine code) author: Norman Adams, David Kranz, Richard Kelsey, James Philbin, and Jonathan Rees. location: ftp pub/systems/t3.1 from ftp.ai.mit.edu description: a Scheme-like language developed at Yale. T is written in itself and compiles to efficient native code. Includes a Scheme environment. (A multiprocessing version of T is available from masala.lcs.mit.edu:/pub/mult) bugs: kranz@lcs.mit.edu ports: Decstation, Sparc, Iris. Old m68k version. contact: David Andrew Kranz <kranz@lcs.mit.edu> updated: 1991/11/26 language: Scheme package: scm version: 4e1 parts: interpreter, conformance test, documentation author: Aubrey Jaffer <jaffer@zurich.ai.mit.edu> location: altdorf.ai.mit.edu in archive/scm/scm* prep.ai.mit.edu in pub/gnu/jacal/scm*.tar.gz ftp.cs.indiana.edu in /pub/scheme-repository/imp/scm*.tar.gz Canada: ftp pub/oz/scheme/new/* from nexus.yorku.ca Europe: ftp pub/bosullvn/jacal/* from ftp.maths.tcd.ie description: Fast portable R4RS Scheme interpreter. conformance: Revised^4 Report on the Algorithmic Language Scheme, IEEE P1178 specification. restriction: GNU General Public License requires: SLIB (pointers to it in documentation) ports: Amiga, Atari-ST, MacOS, MS-DOS, OS/2, NOS/VE, Unicos, VMS, Unix. ASCII and EBCDIC both supported. status: actively developed contributions: send $$$ to Aubrey Jaffer, 84 Pleasant St., Wakefield, MA 01880 updated: 1994/04/29 language: Scheme package: Scheme Library (slib) version: 2a1 parts: library, documentation author: ?? Aubrey Jaffer <jaffer@ai.mit.edu> location: altdorf.ai.mit.edu in ftp archive/scm/slib*.tar.Z prep.ai.mit.edu in pub/gnu/jacal/slib*.tar.gz ftp.maths.tcd.ie in pub/bosullvn/jacal/slib*.tar.gz ftp.cs.indiana.edu in /pub/scheme-repository/imp/slib*.tar.gz description: SLIB is a portable scheme library meant to provide compatibiliy and utility functions for all standard scheme implementations. ports: Scm4b, Chez, ELK 1.5, GAMBIT, MITScheme, Scheme->C, Scheme48, T3.1. status: actively developed contact: Aubrey Jaffer <jaffer@zurich.ai.mit.edu> updated: 1993/10/09 language: Scheme package: Hobbit version: release 2 parts: compiler(->C), documentation author: Tanel Tammet <tammet@cs.chalmers.se> location: altdorf.ai.mit.edu in archive/scm/hobbit2.tar.gz ftp.maths.tcd.ie in pub/bosullvn/jacal/hobbit2.tar.gz ftp.cs.indiana.edu in /pub/scheme-repository/imp/hobbit2.tar.gz description: The main aim of hobbit is to produce maximally fast C programs which would retain most of the original Scheme program structure, making the output C program readable and modifiable. Hobbit is written in Scheme and is able to self-compile. Hobbit release 1 works together with the scm release scm4b3. Future releases of scm and hobbit will be coordinated. requires: scm 4b3 updated: 1993/04/25 language: Scheme package: siod (Scheme In One Day, or Scheme In One Defun) version: 3.0 parts: interpreter,library,documentation,sql interface author: George Carrette <gjc@world.std.com> location: ftp.std.com in pub/gjc ftp.cs.indiana.edu in scheme description: Small scheme implementation in C arranged as a set of subroutines that can be called from any main program for the purpose of introducing an interpreted extension language. Compiles to 20K bytes of executable (VAX/VMS). Lisp calls C and C calls Lisp transparently. features: symbols,strings,arrays,hash tables, file i/o binary/text/seek, data save/restore in binary and text, interface to commercial databases such Oracle, Digital RDB. Small executable (42k on VAX). restriction: none besides non-removal of copyright notice. ports: VAX/VMS, VAX Unix, Sun3, Sun4, Amiga, Macintosh, MIPS, Cray, ALPHA/VMS, Windows NT/WIN32, OS/2. portability: Liked by ANSI C compilers and C++ compilers. e.g. gcc -Wall status: supported as benchmark/testbed at mitech.com help: the author will help anyone building something. contributions: antique/classic computer hardware, perhaps. announcements: comp.lang.scheme updated: 1994/04/29 language: Scheme package: MIT Scheme (aka C-Scheme) version: 7.2 parts: interpreter, large runtime library, emacs macros, native-code compiler, emacs-like editor, source-level debugger author: MIT Scheme Team (primarily Chris Hanson, Jim Miller, and Bill Rozas, but also many others) location: ftp archive/scheme-7.2 from altdorf.ai.mit.edu DOS floppies ($95) and Unix tar tapes ($200) from Scheme Team / c/o Prof. Hal Abelson / MIT AI Laboratory / 545 Technology Sq. / Cambridge, MA 02139 description: Scheme implementation with rich set of utilities. conformance: full compatibility with Revised^4 Report on Scheme, one known incompatibility with IEEE Scheme standard bugs: bug-cscheme@zurich.ai.mit.edu ports: 68k (hp9000, sun3, NeXT), MIPS (Decstation, Sony, SGI), HP-PA (600, 700, 800), Vax (Ultrix, BSD), Alpha (OSF), i386 (DOS/Windows, various Unix) status: activly developed discussion: info-cscheme@zurich.ai.mit.edu (cross-posted to comp.lang.scheme.c) updated: 1992/08/24 language: Scheme package: Scheme->C version: 15mar93 parts: compiler(->C) author: Digital Western Research Laboratory; Joel Bartlett location: ftp pub/DEC/Scheme-to-C/* from gatekeeper.dec.com description: Translates Revised**4 Scheme to C that is then compiled by the native C compiler for the target machine. This design results in a portable system that allows either stand-alone Scheme programs or programs written in both compiled and interpreted Scheme and other languages. conformance: superset of Revised**4 + "expansion passing style" macros + foreign function call capability + interfaces to Xlib (ezd & Scix) + records reference: send Subject "help" to WRL-Techreports@decwrl.dec.com for technical report. Other documentation in Scheme-to-C directory on gatekeeper. ports: VAX/ULTRIX, DECstation ULTRIX, Alpha AXP OSF/1, Microsoft Windows 3.1, Apple Macintosh 7.1, HP 9000/300, HP 9000/700, Sony News, SGI Iris and Harris Nighthawk and other Unix-like m88k systems. The 01nov91 version is also available on Amiga, SunOS, NeXT, and Apollo systems. status: actively developed, contributed ports welcomed updated: 1993/03/15 language: Scheme, Tk package: STk version: 1.00 parts: interpreter author: Gallesio Erick <eg@unice.fr> location: ftp pub/STk-1.00.tar.gz from kaolin.unice.fr description: A Scheme interpreter blended with Ousterhout's Tk package. STk expresses all of Tk as scheme objects. STk includes a CLOS/Dylan-like OO extenstion, but the extension is slow. conformance: almost R4RS ports: SunOS 4.1.x, Ultrix/MIPS updated: 1993/09/06 language: Scheme package: PC-Scheme version: 3.03 parts: compiler, debugger, profiler, editor, libraries author: Texas Instruments location: ftp archive/pc-scheme/* from altdorf.ai.mit.edu description: Written by Texas Instruments. Runs on MS-DOS 286/386 IBM PCs and compatibles. Includes an optimizing compiler, an emacs-like editor, inspector, debugger, performance testing, foreign function interface, window system and an object-oriented subsystem. Also supports the dialect used in Abelson and Sussman's SICP. conformance: Revised^3 Report, also supports dialect used in SICP. restriction: official version is $95, contact rww@ibuki.com ports: MSDOS updated: 1992/02/23 language: Scheme package: PCS/Geneva version: 4.02PL1 parts: compiler, debugger, profiler, editor, libraries author: "a team at the u. of Geneva" location: send email to schemege@uni2a.unige.ch description: PCS/Geneva is a cleaned-up version of Texas Instrument's PC Scheme developed at the University of Geneva. The main extensions to PC Scheme are 486 support, BGI graphics, LIM-EMS pagination support, line editing, and assembly-level interfacing. contact: schemege@uni2a.unige.ch updated: 1994/01/11 language: Scheme package: Gambit Scheme System version: 2.0 parts: interpreter, compiler, linker, libraries author: Marc Feeley <feeley@iro.umontreal.ca> location: ftp pub/parallele/gambit/* from ftp.iro.umontreal.ca description: Gambit is an optimizing Scheme compiler/system. The Macintosh port can run with Toolbox and has a built-in editor. conformance: IEEE Scheme standard and `future' construct. ports: 68k: unix, sun3, hp300, bbn gp100, NeXT, Macintosh updated: ? language: Scheme package: scsh version: 0.1 parts: parser, libraries author: Olin Shivers, Brian Carlstrom <bdc@blackjack.ai.mit.edu> and David Albertz location: ftp://clark.lcs.mit.edu/pub/su/scsh/scsh.tar.z ftp://swiss-ftp.ai.mit.edu/pub/su/scsh/scsh.tar.z description: Scsh is a Unix shell that is embedded within R4RS Scheme. It provides high-level shell notation and full access to the Unix system calls. The current implementation is built on top of Scheme 48, version 0.36. Real interactive use needs a parser for an sh-like syntax, job control, and the gnu readline library. If you're interested in hacking on these things, drop us a line at scheme-underground@ai.mit.edu. We've got designs for most of this stuff; we're just short on time and bodies. portability: easy to port ports: SunOS, NetBSD, Linux, HP-UX, NeXTSTEP (on intel) updated: 1994/11/02 language: Scheme package: Elk (Extension Language Kit) version: 2.2 parts: interpreter, libraries author: Oliver Laumann <net@cs.tu-berlin.de>, Carsten Bormann <cabo@cs.tu-berlin.de> location: ftp pub/unix/languages/scheme/elk-2.2.tar.gz from ftp.fu-berlin.de N.America: ftp contrib/elk-2.2.tar.gz from ftp.x.org description: Elk is a Scheme interpreter designed to be used as a general extension language. + interfaces to Xlib, Xt, and various widget sets. + dynamic loading of extensions + almost all artificial limitations removed + generational/incremental garbage collector + Unix system call extensions + Records (structures) + bitstrings conformance: Mostly R3RS compatable. ports: unix, ultrix, vax, sun3, sun4, 68k, i386, mips, ibm rt, rs6000, hp700, sgi, sony, DOS (gcc+DJGPP or go32) updated: 1994/2/15 language: Scheme package: libscheme version: 0.5 parts: embedded interpreter author: Brent Benson <Brent.Benson@mail.csd.harris.com> location: ftp.cs.indiana.edu in imp/libscheme-0.5.tar.gz description: An embedded interpreter for Scheme written in C, can be used as a command interpreter or extension language, and is easily extended in C with new primitive types, primitve functions and syntax. Now supports linkage with C++. conformance: Revised^4 Report on the Algorithmic Language Scheme. updated: 1994/10/21 language: Scheme package: ezd (easy drawing for programs on X displays) version: 15mar93 parts: interpreter/server author: ? location: ftp pub/DEC/ezd/* from gatekeeper.dec.com description: Ezd is a graphics server that sits between an application program and the X server and allows both existing and new programs easy access to structured graphics. Ezd users have been able to have their programs produce interactive drawings within hours of reading the man page. Structured graphics: application defined graphical objects are ordered into drawings by the application. Loose coupling to the application program: unlike most X tools, ezd does not require any event handling by the application. The ezd server mantains window contents. When an event occurs on such an object, an application supplied Scheme expression is evaluated. contact: Joel Bartlett <bartlett@decwrl.dec.com> ? updated: 1993/03/10 language: Scheme package: XScheme version: 0.28 parts: ? author: David Betz <dbetz@apple.com> location: ftp pub/scheme/* from nexus.yorku.ca description: ? discussion: comp.lang.lisp.x contact: ? updated: 1992/02/02 language: Scheme package: Fools' Lisp version: 1.3.2 parts: ? author: Jonathan Lee <jonathan@scam.berkeley.edu> location: ftp src/local/fools.tar.Z from scam.berkeley.edu description: a small Scheme interpreter that is R4RS conformant. ports: Sun-3, Sun-4, Decstation, Vax (ultrix), Sequent, Apollo updated: 1991/10/31 language: Scheme package: Scheme88 version: ? parts: ? author: ? location: ftp pub/scheme/* from nexus.yorku.ca description: ? contact: ? updated: ? language: Scheme package: UMB Scheme version: ? parts: ?, editor, debugger author: William Campbell <bill@cs.umb.edu> location: ftp pub/scheme/* from nexus.yorku.ca description: ? conformance: R4RS Scheme ports: ? updated: ? language: Scheme package: PseudoScheme version: 2.8 parts: translator(Common Lisp) author: Jonathan Rees <jar@cs.cornell.edu> location: ? description: ? conformance: R3RS except call/cc. requires: Common Lisp ports: Lucid, Symbolics CL, VAX Lisp, Explorer CL announcements: info-clscheme-request@mc.lcs.mit.edu updated: ? language: Scheme package: SOS (Scheme Object System) version: ? parts: ? author: Chris Hanson ? location: ftp archive/cph/sos.tar.gz from altdorf.ai.mit.edu description: ? updated: ? language: Scheme package: Similix version: 5.0 parts: partial evaulator, debugger author: Anders Bondorf <anders@diku.dk> location: ftp pub/diku/dists/Similix.tar.Z from ftp.diku.dk description: Similix is an autoprojector (self-applicable partial evaluator) for a higher order subset of the strict functional language Scheme. Similix handles programs with user defined primitive abstract data type operators which may process global variables (such as input/output operators). conformance: extension of large subset of R4RS Scheme. requires: Scheme ports: Scm, Chez Scheme portability: high contact: Anders Bondorf <anders@diku.dk> updated: 1993/05/18 language: Scheme package: syntax-case version: 2.1 parts: macro system, documentation author: R. Kent Dybvig <dyb@cs.indiana.edu> location: cs.indiana.edu in ftp pub/scheme/syntax-case.tar.Z Macintosh: maya.dei.unipd.it in /pub/mac/gambit/ description: We have designed and implemented a macro system that is vastly superior to the low-level system described in the Revised^4 Report; in fact, it essentially eliminates the low level altogether. We also believe it to be superior to the other proposed low-level systems as well, but each of you can judge that for yourself. We have accomplished this by "lowering the level" of the high-level system slightly, making pattern variables ordinary identifiers with essentially the same status as lexical variable names and macro keywords, and by making "syntax" recognize and handle references to pattern variables. reference: Robert Hieb, R. Kent Dybvig, and Carl Bruggeman "Syntactic Abstraction in Scheme", IUCS TR #355, 6/92 (revised 7/3/92) R. Kent Dybvig, "Writing Hygienic Macros in Scheme with Syntax-Case", IUCS TR #356, 6/92 (revised 7/3/92). ports: Chez Scheme, Mac port runs under MacGambit 2.0 updated: 1992/07/06 language: Scheme package: x-scm version: ? parts: ? author: Larry Campbell <campbell@redsox.bsw.com> location: alt.sources archive description: x-scm is a bolt-on accessory for the "scm" Scheme interpreter that provides a handy environment for building Motif and OpenLook applications. (There is some support as well for raw Xlib applications, but not enough yet to be useful.) requires: scm, X ports: ? updated: 1992/08/10 language: Scheme, Prolog package: "Paradigms of AI Programming" version: ? parts: book with interpreters and compilers in Common Lisp author: Peter Norvig location: bookstore, and ftp pub/norvig/* from unix.sri.com description: ? updated: ? language: Scheme package: Psd (Portable Scheme Debugger) version: 1.1 parts: debugger author: Kellom{ki Pertti <pk@cs.tut.fi> location: ftp pub/src/languages/schemes/psd.tar.Z from cs.tut.fi description: source code debugging from emacs restriction: GNU GPL requires: R4RS compliant Scheme, GNU Emacs. ports: scm, Elk, Scheme->C updated: 1992/10/08 language: Scheme package: Tiny Clos version: first release parts: ? author: ? location: ftp pub/mops/* from parcftp.xerox.com description: A core part of CLOS (Common Lisp Object System) ported to Scheme and rebuilt using a MOP (Metaobject Protocol). This should be interesting to those who want to use MOPs without using a full Common Lisp or Dylan. ports: MIT Scheme 11.74 discussion: mailing list: mops, administered by gregor@parc.xerox.com contact: Gregor Kiczales <gregor@parc.xerox.com> updated: 1992/12/14 language: Scheme package: VSCM version: V0r3 parts: runtime, bytecode compiler, bytecode interpreter author: Matthias Blume <blume@cs.princeton.edu> location: ftp /pub/scheme-repository/imp/vscm*.tar.gz ftp.cs.indiana.edu Germany: ftp pub/scheme/yorku/imp/vscm* from faui80.informatik.uni-erlangen.de UK: ftp pub/uunet/languages/lisp/scheme/repository/imp/vscm* from unix.hensa.ac.uk description: VSCM is a highly portable implementation of Scheme, written in ANSI C and Scheme. Portability is achieved by exlusive use of legal ANSI C features -- as opposed to a plethora of #ifdef's to adjust to various system peculiarities. (Of course, in real life ANSI C doesn't guarantee portability per se, because there are too many systems with broken compilers or broken libraries.) conformance: R4RS, IEEE P1178 features: exception and interrupt handling, executable portable memory images, coroutines, continuations with multiple arguments ports: Unix, Macintosh portability: very high status: actively developed discussion: comp.lang.scheme updated: 1993/11/09 language: Scheme package: PSI version: pre-release parts: interpreter, virtual machine author: Ozan Yigit <oz@ursa.sis.yorku.ca>, David Keldsen, Pontus Hedman location: from author description: I am looking for a few interested language hackers to play with and comment on a scheme interpreter. I would prefer those who have been hacking portable [non-scheme] interpreters for many years. The interpreter is PSI, a portable scheme interpreter that includes a simple dag compiler and a virtual machine. It can be used as an integrated extension interpreter in other systems, allows for easy addition of new primitives, and it embodies some other interesting ideas. There are some unique[2] code debug/trace facilities, as well, acceptable performance resulting from a fairly straight-forward implementation. Continuations are fully and portably supported, and perform well. PSI is based on the simple compilers/vm in Kent Dbyvig's thesis. conformance: R^4RS compatible with a number of useful extensions. updated: 1993/02/19 language: Scheme package: Bigloo version: 1.4 parts: interpreter, compiler(->ANSI C), runtime author: Manuel Serrano <Manuel.Serrano@inria.fr> location: ftp INRIA/Projects/icsla/Implementations/bigl* from ftp.inria.fr description: The main goal of Bigloo is to deliver small and fast stand alone applications. conformance: IEEE Scheme standard with some extensions for regex handling features: Optimization supported. ports: sun, sony news, sgi, linux, hp-ux portability: very high for unix systems updated: 1993/09/08 language: Scheme package: Scheme84 version: ? parts: ? author: ? location: Send a tape w/return postage to: Scheme84 Distribution / Nancy Garrett / c/o Dan Friedman / Department of Computer Science / Indiana University / Bloomington, Indiana. Call 1-812-335-9770. description: ? requires: VAX, Franz Lisp, VMS or BSD contact: nlg@indiana.edu updated: ? language: Scheme iref: (Scheme) Tim Budd's C++ implementation of Kamin's interpreters language: Scheme iref: (Proxy) Proxy document formatting languages ------------------------------------------------------------------------------- category: document formatting languages description: These are formatting languages. Very application-specific. [Could someone make me an entry for TeX? --ed] iref: (C) c2man language: CLiP package: CLiP version: 2.1 parts: documentation generator author: Eric W. van Ammers <AMMERS@RCL.WAU.NL> location: ftp clip/* from sun01.info.wau.nl description: CLiP does not use explicite commands to perform the extraction process. It recognizes pseudostatemens written as comment of the programming language in question. CLiP distinguishes pseudostatments from ordinary comments because the former comply with a a particular style. This specific style can be adjusted to suit virtually any programming language. The CLiP approach to LP makes the system extremely versatile. It is independent of programming language and text processing environment. We designed CLiP to be compatible with hypertext systems as well but we have not yet experimented with this form of documentation. CLiP works with almost any target and almost any source language ports: MS-DOS, VAX/VMS, Unix updated: 1993/11/18 language: HP-GL, Postscript package: hp2ps version: 1.9c parts: interpreter author: Alun Jones <alun@huey.wst.com> location: ftp pub/hp2ps/hp2ps19c.zip from ftp.wst.com description: hp2ps is an HP-GL interpreter that is written in Postscript. It runs on the printer itself. restriction: If there is monetary benifit from using hp2ps, it is requested that money be set to Alun Jones. Further, hp2ps may not be distributed as part of a commercial offering without prior agreement. updated: ? language: Lout package: Lout version: 2.05 parts: translator(Lout->Postscript), documentation author: Jeffrey H. Kingston <jeff@cs.su.oz.au> location: ftp jeff/lout.2.03.tar.Z from ftp.cs.su.oz.au description: Lout is a batch text formatting system. Lout offers an unprecedented range of advanced features, including equation formatting, tables, diagrams, rotation and scaling, sorted indexes, bibliographic databases, running headers and odd-even pages, automatic cross referencing, and much more, all ready to go. Furthermore, Lout is easily extended with definitions which are very much easier to write than troff of TeX macros because Lout is a high-level language, the outcome of an eight-year research project that went back to the beginning. ports: unix updated: 1993/07/30 language: Postscript package: Ghostscript version: 2.6.1 parts: interpreter, ? author: L. Peter Deutsch <ghost@aladdin.com> location: ftp pub/GNU/ghostscript* from a GNU archive site ftp from ftp.cs.wisc.edu:/pub/X/ghostscript*2.6.1* description: A postscript interpreter with previewers for serval systems and many fonts. updated: 1993/05/29 language: Postscript, Common Lisp package: PLisp version: ? parts: translator(Postscript), programming environment(Postscript) author: John Peterson <peterson-john@cs.yale.edu> location: ? description: ? updated: ? language: SGML (Standardized Generalized Markup Language) package: sgmls version: 1.1 parts: parser author: James Clark <jjc@jclark.com> and Charles Goldfarb location: ftp pub/text-processing/sgml/sgmls-1.0.tar.Z from ftp.uu.net UK: ftp sgmls/sgmls-1.1.tar.Z from ftp.jclark.com description: SGML is a markup language standardized in ISO 8879. Sgmls is an SGML parser derived from the ARCSGML parser materials which were written by Charles Goldfarb. It outputs a simple, easily parsed, line oriented, ASCII representation of an SGML document's Element Structure Information Set (see pp 588-593 of ``The SGML Handbook''). It is intended to be used as the front end for structure-controlled SGML applications. SGML is an important move in the direction of separating information from its presentation, i.e. making different presentations possible for the same information. bugs: James Clark <jjc@jclark.com> ports: unix, msdos updated: 1993/02/22 language: troff, nroff, eqn, tbl, pic, refer, Postscript, dvi package: groff version: 1.07 parts: document formatter, documentation author: James Clark <jjc@jclark.com> location: ftp groff-1.07.tar.z from a GNU archive site description: [An absolutely fabulous troff! --ed] restriction: GNU General Public License requires: C++ updated: 1993/03/03 language: Web package: CWeb version: 3.1 parts: translator(ANSI C and C++) author: Levy/Knuth? location: ? description: [Referred to in the CWeb 3.x announcement (below). I'll follow up on it in the next release of the list. -- Ed] requires: ANSI C and/or C++ Compiler? contact: ? updated: ? language: Web package: CWeb version: 3.x parts: translator(ANSI C) author: Marc van Leeuwen location: ftp pub/cweb/? from ftp.cwi.nl description: An ANSI C implementation of the Web literate-programming concept (Both source and output are ANSI C). This version was developed in parallel with v3.1 referred to above. requires: ANSI C Compiler contact: M.van.Leeuwen@cwi.nl updated: 1993/12/16 language: Web package: web2c version: 5-851d parts: translator(C) author: ? location: ftp TeX/web2c.tar.Z from ics.uci.edu Europe: ftp pub/tex/src/web2c/web2c.tar.Z from ftp.th-darmstadt.de description: contact: Karl Berry <karl@claude.cs.umb.edu> updated: 1993/02/22 language: Web package: Web version: ? parts: translator(Pascal) author: Donald Knuth location: ftp ? from labrea.stanford.edu description: Donald Knuth's programming language where you write the source and documentation together. requires: Pascal contact: ? updated: ? language: Web package: FunnelWeb version: ? parts: macro preprocessor, documentation, tests, ? author: Ross Williams <ross@spam.adelaide.edu.au> location: comp.sources.unix volume 26 description: FunnelWeb is a production-quality literate-programming tool that emphasises simplicity and reliability. It provides a macro facility, and assists in the production of typeset documentation. Input-programming-language independent restriction: CopyLeft ports: Sun, Vax, Mac, PC updated: 1993/04/11 logic programming languages ------------------------------------------------------------------------------- category: logic programming languages description: languages designed to manipulate logic predicates. Often used to build expert systems language: BABYLON package: BABYLON version: 2.3 parts: ai workbench (expert system development environment) author: members of GMD, FIT-KI location: ftp gmd/ai-research/Software/Babylon/* from ftp.gmd.de or in WWW from http://www.gmd.de/ description: BABYLON is a development environment for expert systems. It includes frames, rules, constraints, a prolog-like logic formalism, and a description language for diagnostic applications (texi). reference: Christaller, T., Di Primio, F., Voss, A. (Hrsg.). Die KI-Werkbank Babylon. Eine offene und portable Entwicklungsumgebung fuer Expertensysteme. Addison-Wesley, 1989, ISBN 3-89319-155-0 Christaller, T., Di Primio, F., Voss, A. (eds). The AI-Workbench BABYLON. An open and portable development environment for expert systems. Academic Press, London, 1992, ISBN 0-12-174235-0; Guesgen, H.-W., CONSAT: A system for constraint satisfaction. Research Notes in Artificial Intelligence, Morgan Kaufman, San Mateo, 1989. requires: Common Lisp, works under: Macintosh Common Lisp, Franz Allegro, CLisp, CMU, AKCL etc. contact: juergen.walther@gmd.de updated: 1994/06/22 language: Goedel package: Goedel version: 1.4 parts: book, compiler, user manual, system modules, example programs author: Jiwei Wang <jiwei@lapu.bristol.ac.uk> location: ftp.cs.kuleuven.ac.be (134.58.41.2) /pub/logic-prgm/goedel/README ftp.cs.bris.ac.uk (137.222.102.102) /goedel/README both contain further pointers. description: An implementation of a significant subset of Goedel. Goedel is a declarative, general-purpose strongly-typed logic programming language. The type system is based on many-sorted logic with parametric polymorphism. Modularity is supported, as well as infinite precision arithmetic, limited constraint satisfaction, and finite sets. reference: The Goedel Programming Language, P.M. Hill & J.W. Lloyd, MIT Press, 1994, ISBN 0-262-08229-2. requires: SICStus Prolog version 2.1 #6 (or later). Run time system for SPARCstation provided, though. status: underging continuing development contact: goedel@compsci.bristol.ac.uk updated: 1994/05/16 language: Isabelle package: Issabelle-93 version: ? parts: ? author: Written by Lawrence C Paulson and Tobias Nipkow? location: ftp /afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5* from ftp.cs.cmu.edu description: Isabelle is a generic theorem prover. New logics are introduced by specifying their syntax and rules of inference. Proof procedures can be expressed using tactics and tacticals. The latest version, Isabelle-93, is significantly faster than Isabelle-92 and has several other improvements. requires: ? contact: Larry.Paulson@cl.cam.ac.uk Tobias.Nipkow@informatik.tu-muenchen.de? updated: 1993/12/20 language: Janus package: qdjanus version: 1.3 parts: translator(prolog) author: Saumya Debray <debray@cs.arizona.edu> location: ftp janus/qdjanus/* from cs.arizona.edu description: janus is a janus-to-prolog compiler meant to be used with Sicstus Prolog conformance: mostly compliant with "Programming in Janus" by Saraswat, Kahn, and Levy. updated: 1992/05/18 language: Janus package: jc version: 1.50 alpha parts: compiler(->C) author: David Gudeman <gudeman@cs.arizona.edu> location: ftp janus/jc/* from cs.arizona.edu description: jc is a janus-to-C compiler (considerably faster than qdjanus). jc is a _sequential_ implementation of a _concurrent_ language. bugs: jc-bugs@cs.arizona.edu ports: sun-4, sun-3, Sequent Symmetry status: jc is an experimental system, undergoing rapid development. It is in alpha release currently. discussion: janusinterest-request@parc.xerox.com updated: 1992/06/09 language: LIFE (Logic, Inheritance, Functions, and Equations) package: Wild_LIFE version: first-release parts: interpreter, manual, tests, libraries, examples author: Paradise Project, DEC Paris Research Laboratory. location: ftp pub/plan/Life.tar.Z from gatekeeper.dec.com. description: LIFE is an experimental programming language with a powerful facility for structured type inheritance. It reconciles styles from functional programming, logic programming, and object-oriented programming. LIFE implements a constraint logic programming language with equality (unification) and entailment (matching) constraints over order-sorted feature terms. The Wild_LIFE interpreter has a comfortable user interface with incremental query extension ability. It contains an extensive set of built-in operations as well as an X Windows interface. conformance: semantic superset of LOGIN and LeFun. Syntax is similar to prolog. bugs: life-bugs@prl.dec.com ports: MIPS-Ultrix portability: good in theory discussion: life-request@prl.dec.com contact: Peter Van Roy <vanroy@prl.dec.com> updated: 1992/12/14 language: Lolli (logic programming) package: Lolli version: ? parts: ? author: ? Josh Hodas <hodas@saul.cis.upenn.edu> ? location: ftp pub/Lolli/Lolli-07.tar.Z. from ftp.cis.upenn.edu description: Lolli is an interpreter for logic programming based on linear logic principles. Lolli can be viewed as a refinement of the the Hereditary Harrop formulas of Lambda-Prolog. All the operators (though not the higher order unification) of Lambda-Prolog are supported, but with the addition of linear variations. Thus a Lolli program distinguishes between clauses which can be used as many, or as few, times as desired, and those that must be used exactly once. requires: ML updated: 1992/11/08 language: Parlog package: SPM System (Sequential Parlog Machine) version: ? parts: ?, documenation author: ? location: ? ftp lang/Parlog.tar.Z from nuri.inria.fr description: a logic programming language ? reference: Steve Gregory, "Parallel Logic Programming in PARLOG", Addison-Wesely, UK, 1987 restriction: ? no source code ? ports: Sun-3 ? updated: ?? language: Prolog package: SB-Prolog version: 3.1 ? parts: ? author: interpreter location: ftp pub/sbprolog from sbcs.sunysb.edu description: ? restriction: GNU General Public License contact: ? warren@sbcs.sunysb.edu ? updated: ? language: Prolog package: XSB version: 1.2 parts: interpreter, preprocessor(HiLog), documentation author: XSB research group / SUNY at Stony Brook location: ftp pub/XSB/XSB.tar.Z from sbcs.sunysb.edu (130.245.1.15) description: XSB extends the standard functionality of Prolog (being a descendant of PSB- and SB-Prolog) to include implementations of OLDT (tabling) and HiLog terms. OLDT resolution is extremely useful for recursive query computation, allowing programs to terminate correctly in many cases where Prolog does not. HiLog supports a type of higher-order programming in which predicate symbols can be variable or structured. This allows unification to be performed on the predicate symbols themselves in addition to the arguments of the predicates. Of course, Tabling and HiLog can be used together. ports: Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX portability: Generally to 32-bit machines. contact: xsb-contact@cs.sunysb.edu updated: 1993/07/28 language: Prolog package: Modular SB-Prolog version: ? parts: interpreter author: ? location: ftp pub/dts/mod-prolog.tar.Z from ftp.dcs.ed.ac.uk description: SB-Prolog version 3.1 plus modules restriction: GNU General Public License ports: Sparc contact: Brian Paxton <mprolog@dcs.ed.ac.uk> updated: ? language: ALF [prolog variant] package: alf (Algebraic Logic Functional programming language) version: ? parts: runtime, compiler(Warren Abstract Machine) author: Rudolf Opalla <opalla@julien.informatik.uni-dortmund.de> location: ftp pub/programming/languages/LogicFunctional from ftp.germany.eu.net description: ALF is a language which combines functional and logic programming techniques. The foundation of ALF is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. Since ALF is an integration of both programming paradigms, any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations. updated: 1992/10/08 language: CLP (Constraint Logic Programming language) [Prolog variant] package: CLP(R) version: 1.2 parts: runtime, compiler(byte-code), contstraint solver author: IBM location: mail to Joxan Jaffar <joxan@watson.ibm.com> description: CLP(R) is a constraint logic programming language with real-arithmetic constraints. The implementation contains a built-in constraint solver which deals with linear arithmetic and contains a mechanism for delaying nonlinear constraints until they become linear. Since CLP(R) subsumes PROLOG, the system is also usable as a general-purpose logic programming language. There are also powerful facilities for meta programming with constraints. Significant CLP(R) applications have been published in diverse areas such as molecular biology, finance, physical modelling, etc. We are distributing CLP(R) in order to help widen the use of constraint programming, and to solicit feedback on the system restriction: free for academic and research purposes only ports: unix, msdos, OS/2 contact: Roland Yap <roland@bruce.cs.monash.edu.au>, Joxan Jaffar updated: 1992/10/14 language: Prolog + constraints over Finite Domains and Booleans package: clp(FD) version: 2.1 parts: compiler clp(FD)->C, FD solver, runtime, debugger. author: Daniel Diaz - INRIA Rocquencourt - FRANCE location: ftp ftp.inria.fr in the directory /INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd description: clp(FD) is a constraint logic programming language over Finite Domains. clp(FD) is based on the wamcc Prolog compiler. clp(FD) provides several constraints "a la CHIP" on Finite Domains and Booleans and some facilities to build new constraints. clp(FD) is 4 times faster than CHIP v3.2 on average. restriction: free (see COPYRIGHT notice) requires: GNU C (gcc) version 2.4.5 or higher ports: Sparc workstations portability: Generally to 32-bit machines with gcc. contact: Daniel Diaz (Daniel.Diaz@inria.fr) updated: 1994/06/08 language: Prolog package: wamcc version: 2.1 parts: compiler Prolog->C, runtime, Prolog debugger, WAM debugger. author: Daniel Diaz - INRIA Rocquencourt - FRANCE location: ftp ftp.inria.fr in the directory /INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/wamcc description: wamcc is a Prolog Compiler which translates Prolog to C via the WAM. wamcc use the (quasi) standard edinbourgh. wamcc offers the most usual built-in predicates (but not all), a top-level, a Prolog debugger and a WAM debugger. wamcc is designed to be easily extended (e.g. see clp(FD)). From an efficiency point of view, wamcc is between SICStus "emulated" and SICStus "native code" on Sparc machines (1.5 times faster than SICStus emulated, 1.5 times slower than SICStus "native code"). restriction: free (see COPYRIGHT notice) requires: GNU C (gcc) version 2.4.5 or higher ports: Sparc workstations portability: Generally to 32-bit machines with gcc. contact: Daniel Diaz (Daniel.Diaz@inria.fr) updated: 1994/06/08 language: Prolog (variant) package: Aditi version: Beta Release parts: interpreter, database author: Machine Intelligence Project, Univ. of Melbourne, Australia location: send email to aditi@cs.mu.oz.au description: The Aditi Deductive Database System is a multi-user deductive database system. It supports base relations defined by facts (relations in the sense of relational databases) and derived relations defined by rules that specify how to compute new information from old information. Both base relations and the rules defining derived relations are stored on disk and are accessed as required during query evaluation. The rules defining derived relations are expressed in a Prolog-like language, which is also used for expressing queries. Aditi supports the full structured data capability of Prolog. Base relations can store arbitrarily nested terms, for example arbitrary length lists, and rules can directly manipulate such terms. Base relations can be indexed with B-trees or multi-level signature files. Users can access the system through a Motif-based query and database administration tool, or through a command line interface. There is also in interface that allows NU-Prolog programs to access Aditi in a transparent manner. Proper transaction processing is not supported in this release. ports: Sparc/SunOS4.1.2 Mips/Irix4.0 contact: <aditi@cs.mu.oz.au> updated: 1992/12/17 language: Lambda-Prolog package: Prolog/Mali (PM) version: ? 6/23/92 ? parts: compiler(->C), linker, libraries, runtime, documentation author: Pascal Brisset <brisset@irisa.fr> location: ftp pm/* from ftp.irisa.fr description: Lambda-Prolog, a logic programming language defined by Miller, is an extension of Prolog where terms are simply typed $\lambda$terms and clauses are higher order hereditary Harrop formulas. The main novelties are universal quantification on goals and implication. reference: Miller D.A. and Nadathur G. "Higher-order logic programming", 3rd International Conference on Logic Programming, pp 448-462, London 1986. Nadathur G. "A Higher-Order Logic as a Basis for Logic Programming", Thesis, University of Pennsylvania, 1987. requires: MALI-V06 abstract memory. MALI is available by anonymous ftp from ftp.irisa.fr ports: unix discussion: prolog-mali-request@irisa.fr contact: pm@irisa.fr updated: 1992/07/06 language: Prolog (variant) package: CORAL version: ? parts: interpreter, interface(C++), documentation author: ? location: ftp ? from ftp.cs.wisc.edu description: The CORAL deductive database/logic programming system was developed at the University of Wisconsin-Madison. The CORAL declarative language is based on Horn-clause rules with extensions like SQL's group-by and aggregation operators, and uses a Prolog-like syntax. * Many evaluation techniques are supported, including bottom-up fixpoint evaluation and top-down backtracking. * A module mechanism is available. Modules are separately compiled; different evaluation methods can be used in different modules within a single program. * Disk-resident data is supported via an interface to the Exodus storage manager. * There is an on-line help facility requires: AT&T C++ 2.0 (G++ soon) ports: Decstation, Sun4 updated: 1993/01/29 language: Prolog package: BinProlog version: 1.71 parts: interpreter?, documentation author: ? location: ftp BinProlog/* from clement.info.umoncton.ca description: BinProlog 1.71 is at this time probably the fastest freely available C-emulated Prolog. ports: IBM-PC/386, Sun-4, Sun-3, NeXT contact: Paul Tarau <tarau@info.umoncton.ca> updated: 1993/04/03 language: Prolog package: SWI-Prolog version: 1.7.2 parts: ? author: Jan Wielemaker <jan@swi.psy.uva.nl> location: ftp pub/SWI-Prolog from swi.psy.uva.nl OS/2: ftp pub/toolw/SWI/* from mpii02999.ag2.mpi-sb.mpg.de description: ? conformance: superset features: "very nice Ed. style prolog, best free one I've seen" restriction: GNU General Public License ports: Sun-4, Sun-3 (complete); Linux, DEC MIPS (done but incomplete, support needed); RS6000, PS2/AIX, Atari ST, Gould PN, NeXT, VAX, HP-UX (known problems, support needed); MSDOS (status unknown), OS/2 status: activly developed discussion: prolog-request@swi.psy.uva.nl contact: (OS/2) Andreas Toenne <atoenne@mpi-sb.mpg.de> updated: 1993/07/23 language: Prolog package: Frolic version: ? parts: ? author: ? location: ftp pub/frolic.tar.Z from cs.utah.edu description: ? requires: Common Lisp contact: ? updated: 1991/11/23 language: Prolog package: ? Prolog package from the University of Calgary ? version: ? parts: ? author: ? location: ftp pub/prolog1.1/prolog11.tar.Z from cpsc.ucalgary.ca description: + delayed goals + interval arithmetic requires: Scheme portability: relies on continuations contact: ? updated: ? language: Prolog package: ? slog ? version: ? parts: translator(Prolog->Scheme) author: dorai@cs.rice.edu location: ftp public/slog.sh from titan.rice.edu description: macros expand syntax for clauses, elations etc, into Scheme ports: Chez Scheme portability: reliese on continuations updated: ? language: Prolog package: LM-PROLOG version: ? parts: ? author: Ken Kahn and Mats Carlsson location: ftp archives/lm-prolog.tar.Z from sics.se description: ? requires: ZetaLisp contact: ? updated: ? language: Prolog package: Open Prolog version: ? parts: ? author: ? location: ftp languages/open-prolog/* from grattan.cs.tcd.ie description: ? ports: Macintosh contact: Michael Brady <brady@cs.tcd.ie> updated: ? language: Prolog package: UPMAIL Tricia Prolog version: ? parts: ? author: ? location: ftp pub/Tricia/README from ftp.csd.uu.se description: ? contact: <tricia-request@csd.uu.se> updated: ? language: Prolog package: ?; ? (two systems) version: ?; ? parts: ?; ? author: ? location: ftp ai.prolog/Contents from aisun1.ai.uga.edu description: ?; ? ports: MSDOS, Macintosh; MSDOS contact: Michael Covington <mcovingt@uga.cc.uga.edu> updated: ?; ? language: Prolog package: XWIP (X Window Interface for Prolog) version: 0.6 parts: library author: ? location: ftp contrib/xwip-0.6.tar.Z from export.lcs.mit.edu description: It is a package for Prologs following the Quintus foreign function interface (such as SICStus). It provides a (low-level) Xlib style interface to X. The current version was developed and tested on SICStus 0.7 and MIT X11 R5 under SunOS 4.1.1. portability: It is adaptable to many other Unix configurations. contact: xwip@cs.ucla.edu updated: 1993/02/25 language: Prolog package: PI version: ? parts: library author: ? location: ftp pub/prolog/ytoolkit.tar.Z from ftp.ncc.up.pt description: PI is a interface between Prolog applications and XWindows that aims to be independent from the Prolog engine, provided that it has a Quintus foreign function interface (such as SICStus, YAP). It is mostly written in Prolog and is divided in two libraries: Edipo - the lower level interface to the Xlib functions; and Ytoolkit - the higher level user interface toolkit contact: Ze' Paulo Leal <zp@ncc.up.pt> updated: 1993/03/02 language: Prolog package: ISO draft standard version: ? (What year??) parts: language definition author: ? location: ftp ? from ftp.th-darmstadt.de description: ? updated: 1992/07/06 language: Prolog iref: (Prolog) Tim Budd's C++ implementation of Kamin's interpreters language: OPS5 package: PD OPS5 version: ? parts: interpreter author: Written by Charles L. Forgy and ported to Common Lisp by George Wood and Jim Kowalski. location: ftp /afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5* from ftp.cs.cmu.edu description: Public domain implementation of an OPS5 interpreter. OPS5 is a programming language for rule-based production systems. A rule consists of pre-condition(s) and the resulting action. The system as a whole acts first checking the status of system in its working memory and matches the rules to see if there are rules that are satisfied, and then the action in one selected satisfied rule is executed. There is a commercial version available called OPS83. Please contact the author for information. requires: Common Lisp contact: ? Mark Kantrowitz <mkant+@cs.cmu.edu> ? updated: 1992/10/17 -- Send compilers articles to compilers@iecc.com or {ima | spdcc | world}!iecc!compilers. Meta-mail to compilers-request@iecc.com.